failure 415:
Requirement failed: {logbl.08.01.01} Function executed successfully with EOK error code, while `isZero_Unifloat(x) == true` means that ERANGE SHALL be set
| location |
| trace |
/var/opt/lsb/test/olver-core/2013-07-25_08-37-08/util_float_scenario.utz (util_float_scenario.utt), line 3754 |
| occurence |
| scenario |
util_float_scenario |
| specification function |
logb_spec() |
| parameter value |
CallContext context = [pid=28448,thr=b74e2700] |
| parameter value |
Unifloat * @x = (long double) -0.0000000000000000000000000000000000e+00 (-0x.0000000000000000P1L) |
| parameter value |
Unifloat * x = (long double) -0.0000000000000000000000000000000000e+00 (-0x.0000000000000000P1L) |
| parameter value |
ErrorCode * @errno = EOK |
| parameter value |
ErrorCode * errno = EOK |
| return value |
(Unifloat *) (long double) -Infinity |
coverage
& branch |
C
The argument is zero |
| properties |
| REQ failed |
logbl.08.01.01 |
| kind |
POSTCONDITION_FAILED |
similar known bug(s)
|
The logb() function shall compute the exponent of the integral part of logarithm
of its argument as a signed floating-point value.
According to LSB, if this argument is 0, ERANGE error shall be set in errno.
But on the target machine this function sets error code EOK instead of ERANGE.
|
|